翻訳と辞書
Words near each other
・ Microsoft Streets & Trips
・ Microsoft Student
・ Microsoft Student Partners
・ Microsoft Studios
・ Microsoft Surface
・ Microsoft Symbol Server
・ Microsoft Sync
・ Microsoft Sync Framework
・ Microsoft Tablet PC
・ Microsoft Talisman
・ Microsoft Talo
・ Microsoft Tape Format
・ Microsoft TechNet
・ Microsoft Technology Associate
・ Microsoft telephone number format
Microsoft Terminator
・ Microsoft text-to-speech voices
・ Microsoft Theater
・ Microsoft Tinker
・ Microsoft Train Simulator
・ Microsoft Train Simulator 2
・ Microsoft Transaction Server
・ Microsoft Translator
・ Microsoft TV
・ Microsoft UI Automation
・ Microsoft Update Catalog
・ Microsoft V-Chat
・ Microsoft Venus
・ Microsoft version numbering
・ Microsoft Video 1


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Microsoft Terminator : ウィキペディア英語版
Microsoft Terminator
Terminator, a research project at Microsoft Research, is an automated program analyzer that aims to find whether a program can run infinitely (so called termination analysis). It supports nested loops and recursive functions, pointers and side-effects, and function-pointers as well as concurrent programs. Like all programs for termination analysis it tries to solve the halting problem for particular cases, since the general problem is undecidable.〔(【引用サイトリンク】accessdate=2010-05-25 )〕 It provides a solution which is sound, meaning that when it states that a program does always terminate, the result is dependable.
==References==


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Microsoft Terminator」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.